batch file (bat file) - German English Dictionary